Optimal. Leaf size=109 \[ -\frac {a^2 \left (c+d x^2\right )^{3/2}}{2 c x^2}+\frac {a \sqrt {c+d x^2} (a d+4 b c)}{2 c}-\frac {a (a d+4 b c) \tanh ^{-1}\left (\frac {\sqrt {c+d x^2}}{\sqrt {c}}\right )}{2 \sqrt {c}}+\frac {b^2 \left (c+d x^2\right )^{3/2}}{3 d} \]
________________________________________________________________________________________
Rubi [A] time = 0.09, antiderivative size = 109, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 6, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {446, 89, 80, 50, 63, 208} \begin {gather*} -\frac {a^2 \left (c+d x^2\right )^{3/2}}{2 c x^2}+\frac {a \sqrt {c+d x^2} (a d+4 b c)}{2 c}-\frac {a (a d+4 b c) \tanh ^{-1}\left (\frac {\sqrt {c+d x^2}}{\sqrt {c}}\right )}{2 \sqrt {c}}+\frac {b^2 \left (c+d x^2\right )^{3/2}}{3 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 50
Rule 63
Rule 80
Rule 89
Rule 208
Rule 446
Rubi steps
\begin {align*} \int \frac {\left (a+b x^2\right )^2 \sqrt {c+d x^2}}{x^3} \, dx &=\frac {1}{2} \operatorname {Subst}\left (\int \frac {(a+b x)^2 \sqrt {c+d x}}{x^2} \, dx,x,x^2\right )\\ &=-\frac {a^2 \left (c+d x^2\right )^{3/2}}{2 c x^2}+\frac {\operatorname {Subst}\left (\int \frac {\left (\frac {1}{2} a (4 b c+a d)+b^2 c x\right ) \sqrt {c+d x}}{x} \, dx,x,x^2\right )}{2 c}\\ &=\frac {b^2 \left (c+d x^2\right )^{3/2}}{3 d}-\frac {a^2 \left (c+d x^2\right )^{3/2}}{2 c x^2}+\frac {(a (4 b c+a d)) \operatorname {Subst}\left (\int \frac {\sqrt {c+d x}}{x} \, dx,x,x^2\right )}{4 c}\\ &=\frac {a (4 b c+a d) \sqrt {c+d x^2}}{2 c}+\frac {b^2 \left (c+d x^2\right )^{3/2}}{3 d}-\frac {a^2 \left (c+d x^2\right )^{3/2}}{2 c x^2}+\frac {1}{4} (a (4 b c+a d)) \operatorname {Subst}\left (\int \frac {1}{x \sqrt {c+d x}} \, dx,x,x^2\right )\\ &=\frac {a (4 b c+a d) \sqrt {c+d x^2}}{2 c}+\frac {b^2 \left (c+d x^2\right )^{3/2}}{3 d}-\frac {a^2 \left (c+d x^2\right )^{3/2}}{2 c x^2}+\frac {(a (4 b c+a d)) \operatorname {Subst}\left (\int \frac {1}{-\frac {c}{d}+\frac {x^2}{d}} \, dx,x,\sqrt {c+d x^2}\right )}{2 d}\\ &=\frac {a (4 b c+a d) \sqrt {c+d x^2}}{2 c}+\frac {b^2 \left (c+d x^2\right )^{3/2}}{3 d}-\frac {a^2 \left (c+d x^2\right )^{3/2}}{2 c x^2}-\frac {a (4 b c+a d) \tanh ^{-1}\left (\frac {\sqrt {c+d x^2}}{\sqrt {c}}\right )}{2 \sqrt {c}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.11, size = 87, normalized size = 0.80 \begin {gather*} \frac {1}{6} \left (\frac {\sqrt {c+d x^2} \left (-3 a^2 d+12 a b d x^2+2 b^2 x^2 \left (c+d x^2\right )\right )}{d x^2}-\frac {3 a (a d+4 b c) \tanh ^{-1}\left (\frac {\sqrt {c+d x^2}}{\sqrt {c}}\right )}{\sqrt {c}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.13, size = 94, normalized size = 0.86 \begin {gather*} \frac {\sqrt {c+d x^2} \left (-3 a^2 d+12 a b d x^2+2 b^2 c x^2+2 b^2 d x^4\right )}{6 d x^2}+\frac {\left (a^2 (-d)-4 a b c\right ) \tanh ^{-1}\left (\frac {\sqrt {c+d x^2}}{\sqrt {c}}\right )}{2 \sqrt {c}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.60, size = 211, normalized size = 1.94 \begin {gather*} \left [\frac {3 \, {\left (4 \, a b c d + a^{2} d^{2}\right )} \sqrt {c} x^{2} \log \left (-\frac {d x^{2} - 2 \, \sqrt {d x^{2} + c} \sqrt {c} + 2 \, c}{x^{2}}\right ) + 2 \, {\left (2 \, b^{2} c d x^{4} - 3 \, a^{2} c d + 2 \, {\left (b^{2} c^{2} + 6 \, a b c d\right )} x^{2}\right )} \sqrt {d x^{2} + c}}{12 \, c d x^{2}}, \frac {3 \, {\left (4 \, a b c d + a^{2} d^{2}\right )} \sqrt {-c} x^{2} \arctan \left (\frac {\sqrt {-c}}{\sqrt {d x^{2} + c}}\right ) + {\left (2 \, b^{2} c d x^{4} - 3 \, a^{2} c d + 2 \, {\left (b^{2} c^{2} + 6 \, a b c d\right )} x^{2}\right )} \sqrt {d x^{2} + c}}{6 \, c d x^{2}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.38, size = 89, normalized size = 0.82 \begin {gather*} \frac {2 \, {\left (d x^{2} + c\right )}^{\frac {3}{2}} b^{2} + 12 \, \sqrt {d x^{2} + c} a b d - \frac {3 \, \sqrt {d x^{2} + c} a^{2} d}{x^{2}} + \frac {3 \, {\left (4 \, a b c d + a^{2} d^{2}\right )} \arctan \left (\frac {\sqrt {d x^{2} + c}}{\sqrt {-c}}\right )}{\sqrt {-c}}}{6 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 132, normalized size = 1.21 \begin {gather*} -\frac {a^{2} d \ln \left (\frac {2 c +2 \sqrt {d \,x^{2}+c}\, \sqrt {c}}{x}\right )}{2 \sqrt {c}}-2 a b \sqrt {c}\, \ln \left (\frac {2 c +2 \sqrt {d \,x^{2}+c}\, \sqrt {c}}{x}\right )+\frac {\sqrt {d \,x^{2}+c}\, a^{2} d}{2 c}+2 \sqrt {d \,x^{2}+c}\, a b +\frac {\left (d \,x^{2}+c \right )^{\frac {3}{2}} b^{2}}{3 d}-\frac {\left (d \,x^{2}+c \right )^{\frac {3}{2}} a^{2}}{2 c \,x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.06, size = 109, normalized size = 1.00 \begin {gather*} -2 \, a b \sqrt {c} \operatorname {arsinh}\left (\frac {c}{\sqrt {c d} {\left | x \right |}}\right ) - \frac {a^{2} d \operatorname {arsinh}\left (\frac {c}{\sqrt {c d} {\left | x \right |}}\right )}{2 \, \sqrt {c}} + 2 \, \sqrt {d x^{2} + c} a b + \frac {{\left (d x^{2} + c\right )}^{\frac {3}{2}} b^{2}}{3 \, d} + \frac {\sqrt {d x^{2} + c} a^{2} d}{2 \, c} - \frac {{\left (d x^{2} + c\right )}^{\frac {3}{2}} a^{2}}{2 \, c x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.06, size = 103, normalized size = 0.94 \begin {gather*} \frac {b^2\,{\left (d\,x^2+c\right )}^{3/2}}{3\,d}-\left (\frac {2\,b^2\,c-2\,a\,b\,d}{d}-\frac {2\,b^2\,c}{d}\right )\,\sqrt {d\,x^2+c}-\frac {a^2\,\sqrt {d\,x^2+c}}{2\,x^2}+\frac {a\,\mathrm {atan}\left (\frac {\sqrt {d\,x^2+c}\,1{}\mathrm {i}}{\sqrt {c}}\right )\,\left (a\,d+4\,b\,c\right )\,1{}\mathrm {i}}{2\,\sqrt {c}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 73.98, size = 148, normalized size = 1.36 \begin {gather*} - \frac {a^{2} \sqrt {d} \sqrt {\frac {c}{d x^{2}} + 1}}{2 x} - \frac {a^{2} d \operatorname {asinh}{\left (\frac {\sqrt {c}}{\sqrt {d} x} \right )}}{2 \sqrt {c}} - 2 a b \sqrt {c} \operatorname {asinh}{\left (\frac {\sqrt {c}}{\sqrt {d} x} \right )} + \frac {2 a b c}{\sqrt {d} x \sqrt {\frac {c}{d x^{2}} + 1}} + \frac {2 a b \sqrt {d} x}{\sqrt {\frac {c}{d x^{2}} + 1}} + b^{2} \left (\begin {cases} \frac {\sqrt {c} x^{2}}{2} & \text {for}\: d = 0 \\\frac {\left (c + d x^{2}\right )^{\frac {3}{2}}}{3 d} & \text {otherwise} \end {cases}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________